micro-optimization: do not check for ant if we don't need it
authorRene Engelhard <rene@rene-engelhard.de>
Wed, 23 May 2018 15:30:04 +0000 (17:30 +0200)
committerRene Engelhard <rene@debian.org>
Mon, 10 Sep 2018 21:38:40 +0000 (22:38 +0100)
commit31331823b9dfb4b60bc31f627bc3fa56c4a99503
treea230eef7e06fd7b171a279480e3caf971fcaf92e
parent9a30bda24d924ac643c771acfe36ac6909ff611e
micro-optimization: do not check for ant if we don't need it

Change-Id: I84644cddd8a318a2af23780ada9afc26fe23a9fe

Gbp-Pq: Name no-ant-check-if-unneeded.diff
configure.ac